<html>
<head><meta charset="utf-8"><title>meeting 2019.07.02 · wg-async-foundations · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/index.html">wg-async-foundations</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html">meeting 2019.07.02</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="169498566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169498566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169498566">(Jul 02 2019 at 17:04)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="1172">@WG-async-foundations</span> -- meeting?</p>



<a name="169498629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169498629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Gilcher <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169498629">(Jul 02 2019 at 17:05)</a>:</h4>
<p>I'm somewhat available (on a train), so forgive if I might be delayed from time to time.</p>



<a name="169498637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169498637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169498637">(Jul 02 2019 at 17:05)</a>:</h4>
<p>Obviously the biggest announcement: we've opened a <a href="https://github.com/rust-lang/rust/issues/62149" target="_blank" title="https://github.com/rust-lang/rust/issues/62149">stabilization issue</a></p>



<a name="169498714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169498714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169498714">(Jul 02 2019 at 17:06)</a>:</h4>
<p>I made <a href="https://github.com/rust-lang/rust/issues/62214" target="_blank" title="https://github.com/rust-lang/rust/issues/62214">#62214</a> to for <code>#![feature(async_closure)]</code> to satisfy the blocking issue <a href="https://github.com/rust-lang/rust/issues/62214" target="_blank" title="https://github.com/rust-lang/rust/issues/62214">#62214</a> and then <a href="https://github.com/rust-lang/rust/issues/62292" target="_blank" title="https://github.com/rust-lang/rust/issues/62292">#62292</a> will do the actual feature gate split.</p>



<a name="169498752"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169498752" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169498752">(Jul 02 2019 at 17:06)</a>:</h4>
<p>We have <a href="https://github.com/rust-lang/rust/issues/62236" target="_blank" title="https://github.com/rust-lang/rust/issues/62236">#62236</a> to move some tests, which <a href="https://github.com/rust-lang/rust/issues/62270" target="_blank" title="https://github.com/rust-lang/rust/issues/62270">#62270</a> will fix.</p>



<a name="169498758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169498758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169498758">(Jul 02 2019 at 17:06)</a>:</h4>
<p>Also, <a href="https://github.com/rust-lang/rust/issues/61922" target="_blank" title="https://github.com/rust-lang/rust/issues/61922">#61922</a> just landed for some space optimizations.</p>



<a name="169498825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169498825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169498825">(Jul 02 2019 at 17:07)</a>:</h4>
<p>I guess the question is: what bits of engineering work remain that are not considering blocking</p>



<a name="169498827"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169498827" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169498827">(Jul 02 2019 at 17:07)</a>:</h4>
<p>I also made <a href="https://github.com/rust-lang/rust/issues/62293" target="_blank" title="https://github.com/rust-lang/rust/issues/62293">#62293</a> to remove the <code>await!</code> macro; but I will split some things out from that PR solely for the purpose of test coverage.</p>



<a name="169498882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169498882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169498882">(Jul 02 2019 at 17:08)</a>:</h4>
<p>er, sorry, I meant that are not represented well by issues</p>



<a name="169498916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169498916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169498916">(Jul 02 2019 at 17:08)</a>:</h4>
<p>I guess let's review the issues that are not yet categorized</p>



<a name="169498927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169498927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169498927">(Jul 02 2019 at 17:08)</a>:</h4>
<p>To start <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-async-await+-label%3AAsyncAwait-Blocking+-label%3AAsyncAwait-Deferred++-label%3AAsyncAwait-Unclear" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-async-await+-label%3AAsyncAwait-Blocking+-label%3AAsyncAwait-Deferred++-label%3AAsyncAwait-Unclear">new issues without any code</a></p>



<a name="169498957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169498957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169498957">(Jul 02 2019 at 17:09)</a>:</h4>
<blockquote>
<p>Mutually recursive <code>async fn</code>s are hard to make <code>Send</code> <a href="https://github.com/rust-lang/rust/issues/62284" target="_blank" title="https://github.com/rust-lang/rust/issues/62284">#62284</a></p>
</blockquote>



<a name="169498986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169498986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169498986">(Jul 02 2019 at 17:09)</a>:</h4>
<p><span class="user-mention" data-user-id="127859">@Taylor Cramer</span> I assume you don't consider this a blocker? This is presumably related to the trait system reporting a cycle?</p>



<a name="169499072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499072">(Jul 02 2019 at 17:10)</a>:</h4>
<p>I'm not sure what to think, seems pretty confusing</p>



<a name="169499113"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499113" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499113">(Jul 02 2019 at 17:11)</a>:</h4>
<blockquote>
<p>Move tests in <code>src/test/run-pass/async-await</code> -&gt; <code>src/test/ui/async-await</code> <a href="https://github.com/rust-lang/rust/issues/62236" target="_blank" title="https://github.com/rust-lang/rust/issues/62236">#62236</a></p>
</blockquote>



<a name="169499118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499118">(Jul 02 2019 at 17:11)</a>:</h4>
<p>has a PR already...</p>



<a name="169499140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499140">(Jul 02 2019 at 17:11)</a>:</h4>
<p>Labeled as Deferred</p>



<a name="169499183"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499183" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499183">(Jul 02 2019 at 17:12)</a>:</h4>
<p>but I think it will land with no problem in any case</p>



<a name="169499202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499202">(Jul 02 2019 at 17:12)</a>:</h4>
<p>yes.</p>



<a name="169499207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499207">(Jul 02 2019 at 17:12)</a>:</h4>
<p>On the topic of test suite:</p>



<a name="169499209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499209">(Jul 02 2019 at 17:12)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> ugh...  <a href="https://play.rust-lang.org/?version=nightly&amp;mode=debug&amp;edition=2018&amp;gist=a45fcd19dad3ab5a2b9880739e70dd95" target="_blank" title="https://play.rust-lang.org/?version=nightly&amp;mode=debug&amp;edition=2018&amp;gist=a45fcd19dad3ab5a2b9880739e70dd95">https://play.rust-lang.org/?version=nightly&amp;mode=debug&amp;edition=2018&amp;gist=a45fcd19dad3ab5a2b9880739e70dd95</a> gives me:</p>
<div class="codehilite"><pre><span></span>warning[E0381]: use of possibly uninitialized variable: `_`
  --&gt; src/lib.rs:17:13
   |
17 |     let _ = foo().await;
   |             ^^^^^^^^^^^ use of possibly uninitialized value
   |
   = warning: this error has been downgraded to a warning for backwards compatibility with previous releases
   = warning: this represents potential undefined behavior in your code and this warning will become a hard error in the future
   = note: for more information, try `rustc --explain E0729`
</pre></div>



<a name="169499233"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499233" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499233">(Jul 02 2019 at 17:13)</a>:</h4>
<p>Er, sorry, moving on to <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-async-await+label%3AAsyncAwait-Blocking+" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-async-await+label%3AAsyncAwait-Blocking+">blocking issue review</a></p>



<a name="169499240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499240">(Jul 02 2019 at 17:13)</a>:</h4>
<p>(regarding <a href="https://github.com/rust-lang/rust/issues/62284" target="_blank" title="https://github.com/rust-lang/rust/issues/62284">#62284</a>)</p>



<a name="169499272"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499272" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499272">(Jul 02 2019 at 17:13)</a>:</h4>
<p>er, wait, ok, jumping back :)</p>



<a name="169499279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499279">(Jul 02 2019 at 17:13)</a>:</h4>
<p>we didn't really resolve <a href="https://github.com/rust-lang/rust/issues/62284" target="_blank" title="https://github.com/rust-lang/rust/issues/62284">#62284</a>.</p>



<a name="169499356"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499356" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499356">(Jul 02 2019 at 17:14)</a>:</h4>
<p>also, um, yeah, <span class="user-mention" data-user-id="126931">@centril</span> .. what's up with that?</p>



<a name="169499363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499363">(Jul 02 2019 at 17:14)</a>:</h4>
<p>beats me...</p>



<a name="169499389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499389">(Jul 02 2019 at 17:15)</a>:</h4>
<p>seems...worth filing an issue over</p>



<a name="169499420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499420">(Jul 02 2019 at 17:15)</a>:</h4>
<p>on it</p>



<a name="169499501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499501">(Jul 02 2019 at 17:16)</a>:</h4>
<p>yeah I hit that yesterday</p>



<a name="169499529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499529">(Jul 02 2019 at 17:16)</a>:</h4>
<p>and actually still have an issue box open that I didn't hit submit on for it :)</p>



<a name="169499582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499582">(Jul 02 2019 at 17:17)</a>:</h4>
<p>I see though that the cycle error isn't quite what I expeted for <a href="https://github.com/rust-lang/rust/issues/62284" target="_blank" title="https://github.com/rust-lang/rust/issues/62284">#62284</a></p>



<a name="169499595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499595">(Jul 02 2019 at 17:17)</a>:</h4>
<p>it does seem to me like this is something one could hit...relatively easily?</p>



<a name="169499630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499630">(Jul 02 2019 at 17:17)</a>:</h4>
<p>oh yeah</p>



<a name="169499680"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499680" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499680">(Jul 02 2019 at 17:18)</a>:</h4>
<p>you hit it constantly if you try and write recursive code</p>



<a name="169499695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499695">(Jul 02 2019 at 17:18)</a>:</h4>
<p><span class="user-mention" data-user-id="127859">@Taylor Cramer</span> filed as <a href="https://github.com/rust-lang/rust/issues/62312" target="_blank" title="https://github.com/rust-lang/rust/issues/62312">https://github.com/rust-lang/rust/issues/62312</a></p>



<a name="169499703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499703">(Jul 02 2019 at 17:18)</a>:</h4>
<p>I just try to advocate not doing that ;)</p>



<a name="169499711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499711">(Jul 02 2019 at 17:18)</a>:</h4>
<p>but obviously that's not a good answer</p>



<a name="169499723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499723">(Jul 02 2019 at 17:18)</a>:</h4>
<p>do we consider that blocking then? seems like, per the standards we've been doing, that perhaps we ought to</p>



<a name="169499740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499740">(Jul 02 2019 at 17:18)</a>:</h4>
<p>we'll want to dedicate some time to understanding the problem</p>



<a name="169499749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499749">(Jul 02 2019 at 17:18)</a>:</h4>
<p>I think so; at minimum the C-future-compat bit sounds ominous</p>



<a name="169499793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499793">(Jul 02 2019 at 17:19)</a>:</h4>
<p>e.g. shipping a new soundness hole is a no-no for me</p>



<a name="169499799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499799">(Jul 02 2019 at 17:19)</a>:</h4>
<p>er, sorry, I was referring to <a href="https://github.com/rust-lang/rust/issues/62284" target="_blank" title="https://github.com/rust-lang/rust/issues/62284">#62284</a>; but yes there is also <a href="https://github.com/rust-lang/rust/issues/62312" target="_blank" title="https://github.com/rust-lang/rust/issues/62312">#62312</a> to consider</p>



<a name="169499866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499866">(Jul 02 2019 at 17:19)</a>:</h4>
<p>I marked them both as blocking but I guess that means we need to dedicate some time to digging into them</p>



<a name="169499957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499957">(Jul 02 2019 at 17:20)</a>:</h4>
<p>in terms of our <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-async-await+label%3AAsyncAwait-Blocking+" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-async-await+label%3AAsyncAwait-Blocking+">existing blocking issues</a> ...</p>



<a name="169499982"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499982" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499982">(Jul 02 2019 at 17:20)</a>:</h4>
<p><span class="user-mention" data-user-id="127859">@Taylor Cramer</span> tells me that </p>
<blockquote>
<p>increase test coverage for async-await <a href="https://github.com/rust-lang/rust/issues/62121" target="_blank" title="https://github.com/rust-lang/rust/issues/62121">#62121</a> </p>
</blockquote>
<p>is proceeded relatively well</p>



<a name="169499983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499983">(Jul 02 2019 at 17:20)</a>:</h4>
<p>sgtm;</p>
<p><span class="user-mention" data-user-id="127859">@Taylor Cramer</span> feel free to fill in <a href="https://github.com/rust-lang/rust/issues/62312" target="_blank" title="https://github.com/rust-lang/rust/issues/62312">#62312</a> if you have more details</p>



<a name="169499996"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169499996" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169499996">(Jul 02 2019 at 17:20)</a>:</h4>
<p>I think that </p>
<blockquote>
<p>type inference doesn't work in async fn that return Box&lt;dyn SomeTrait&gt; <a href="https://github.com/rust-lang/rust/issues/60424" target="_blank" title="https://github.com/rust-lang/rust/issues/60424">#60424</a> </p>
</blockquote>
<p>is somewhat "at risk"</p>



<a name="169500040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500040">(Jul 02 2019 at 17:21)</a>:</h4>
<p>that is, <span class="user-mention" data-user-id="116107">@davidtwco</span> and I looked some into it, the thing I thought might fix it seemed to have led to complications, and afaik we didn't dig much further yet</p>



<a name="169500059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500059">(Jul 02 2019 at 17:21)</a>:</h4>
<blockquote>
<p>async fn should support multiple lifetimes <a href="https://github.com/rust-lang/rust/issues/56238" target="_blank" title="https://github.com/rust-lang/rust/issues/56238">#56238</a> </p>
</blockquote>
<p>ought to land "real soon now"</p>



<a name="169500070"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500070" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500070">(Jul 02 2019 at 17:21)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> hopefully you have more time after <a href="https://github.com/rust-lang/rust/issues/56238" target="_blank" title="https://github.com/rust-lang/rust/issues/56238">#56238</a> lands</p>



<a name="169500073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500073">(Jul 02 2019 at 17:21)</a>:</h4>
<p>so basically the new issues (above) and <a href="https://github.com/rust-lang/rust/issues/60424" target="_blank" title="https://github.com/rust-lang/rust/issues/60424">#60424</a> are the major ones</p>



<a name="169500099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500099">(Jul 02 2019 at 17:21)</a>:</h4>
<p>I can raise the prio of <a href="https://github.com/rust-lang/rust/issues/56238" target="_blank" title="https://github.com/rust-lang/rust/issues/56238">#56238</a></p>



<a name="169500103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500103">(Jul 02 2019 at 17:22)</a>:</h4>
<p>(yeah, I've got a fix for the ICE and I'm re-running tests with <code>--bless</code> now)</p>



<a name="169500161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500161">(Jul 02 2019 at 17:22)</a>:</h4>
<p>should we look at the uncategorized bugs real quick?</p>



<a name="169500190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500190">(Jul 02 2019 at 17:22)</a>:</h4>
<p>er, I mean the <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-async-await+label%3AAsyncAwait-Unclear+" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-async-await+label%3AAsyncAwait-Unclear+">bugs labeled AsyncAwait-Unclear</a></p>



<a name="169500231"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500231" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500231">(Jul 02 2019 at 17:23)</a>:</h4>
<blockquote>
<p>Using associated types in async fn type break typing <a href="https://github.com/rust-lang/rust/issues/60414" target="_blank" title="https://github.com/rust-lang/rust/issues/60414">#60414</a> </p>
</blockquote>
<p>this came up on the stabilization issue</p>



<a name="169500251"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500251" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500251">(Jul 02 2019 at 17:23)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> hmm; did you forget to label <a href="https://github.com/rust-lang/rust/issues/62312" target="_blank" title="https://github.com/rust-lang/rust/issues/62312">https://github.com/rust-lang/rust/issues/62312</a> and <a href="https://github.com/rust-lang/rust/issues/62284" target="_blank" title="https://github.com/rust-lang/rust/issues/62284">https://github.com/rust-lang/rust/issues/62284</a> btw?</p>



<a name="169500360"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500360" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500360">(Jul 02 2019 at 17:24)</a>:</h4>
<p>not sure what happened there</p>



<a name="169500364"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500364" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500364">(Jul 02 2019 at 17:24)</a>:</h4>
<p>I <em>thought</em> I labeled them</p>



<a name="169500397"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500397" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500397">(Jul 02 2019 at 17:24)</a>:</h4>
<p>maybe github is taking "eventually" in "eventually consistent" a bit too far :P</p>



<a name="169500402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500402">(Jul 02 2019 at 17:24)</a>:</h4>
<p>oh, I didn't "click away" from the dialog box</p>



<a name="169500421"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500421" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500421">(Jul 02 2019 at 17:25)</a>:</h4>
<blockquote>
<blockquote>
<p>Using associated types in async fn type break typing <a href="https://github.com/rust-lang/rust/issues/60414" target="_blank" title="https://github.com/rust-lang/rust/issues/60414">#60414</a> </p>
</blockquote>
<p>this came up on the stabilization issue</p>
</blockquote>
<p>there is a pending fix for this that I have to review (I can do that today)</p>



<a name="169500432"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500432" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500432">(Jul 02 2019 at 17:25)</a>:</h4>
<p>it looked fine when I glanced at it before</p>



<a name="169500454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500454">(Jul 02 2019 at 17:25)</a>:</h4>
<p>Neat</p>



<a name="169500536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500536">(Jul 02 2019 at 17:26)</a>:</h4>
<p>I don't think there's much future compat risk here but it's prob a moot point whether we mark it as blocking or not</p>



<a name="169500542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500542">(Jul 02 2019 at 17:26)</a>:</h4>
<blockquote>
<p>Inherent async fn returning <code>Self</code> treats type's lifetime parameters as <code>'static</code> <a href="https://github.com/rust-lang/rust/issues/61949" target="_blank" title="https://github.com/rust-lang/rust/issues/61949">#61949</a></p>
</blockquote>



<a name="169500569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500569">(Jul 02 2019 at 17:26)</a>:</h4>
<p>that one's the same as <a href="https://github.com/rust-lang/rust/issues/53613" target="_blank" title="https://github.com/rust-lang/rust/issues/53613">https://github.com/rust-lang/rust/issues/53613</a></p>



<a name="169500601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500601">(Jul 02 2019 at 17:26)</a>:</h4>
<p>Not sure I agree with that; when it is part of <code>-&gt; impl Trait</code> surface syntax it is much more obscure, but it becomes more prominent in <code>async fn</code></p>



<a name="169500635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500635">(Jul 02 2019 at 17:27)</a>:</h4>
<p>sure, I'm saying the underlying compiler bug is the same</p>



<a name="169500638"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500638" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500638">(Jul 02 2019 at 17:27)</a>:</h4>
<p>(which makes fixing it later harder)</p>



<a name="169500645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500645">(Jul 02 2019 at 17:27)</a>:</h4>
<p><span class="user-mention" data-user-id="127859">@Taylor Cramer</span> granted</p>



<a name="169500668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500668">(Jul 02 2019 at 17:27)</a>:</h4>
<p>yeah I forgot about that</p>



<a name="169500669"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500669" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500669">(Jul 02 2019 at 17:27)</a>:</h4>
<p>hmm</p>



<a name="169500716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500716">(Jul 02 2019 at 17:28)</a>:</h4>
<p>I agree it seems pretty bad-- there's a decently obvious future-compat hazard there</p>



<a name="169500720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500720">(Jul 02 2019 at 17:28)</a>:</h4>
<p>well, it .. I guess it is fixable via some ... hacky logic</p>



<a name="169500738"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500738" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500738">(Jul 02 2019 at 17:28)</a>:</h4>
<p>yeah but it's messy as heck</p>



<a name="169500744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500744">(Jul 02 2019 at 17:28)</a>:</h4>
<p>yes</p>



<a name="169500745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500745">(Jul 02 2019 at 17:28)</a>:</h4>
<p>I'd be fine with e.g. a temporary hack to make it an error and preserve future compat</p>



<a name="169500766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500766">(Jul 02 2019 at 17:28)</a>:</h4>
<p>the hacky logic is basically tracking the lifetimes that appear in Self</p>



<a name="169500770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500770">(Jul 02 2019 at 17:28)</a>:</h4>
<p>but that temporary hack might be as involved as the fix... idk</p>



<a name="169500771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500771">(Jul 02 2019 at 17:28)</a>:</h4>
<p>and when we visit the Self type</p>



<a name="169500772"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500772" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500772">(Jul 02 2019 at 17:28)</a>:</h4>
<p>you mean making it an error to return <code>Self</code> from <code>async fn</code> or <code>-&gt; impl Trait</code>?</p>



<a name="169500780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500780">(Jul 02 2019 at 17:28)</a>:</h4>
<p>we visit that list</p>



<a name="169500789"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500789" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500789">(Jul 02 2019 at 17:29)</a>:</h4>
<p><span class="user-mention" data-user-id="127859">@Taylor Cramer</span> we could do that yeah</p>



<a name="169500812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500812">(Jul 02 2019 at 17:29)</a>:</h4>
<p>prohibiting Self is the other option, but it feels...idk.</p>



<a name="169500820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500820">(Jul 02 2019 at 17:29)</a>:</h4>
<p>it feels pretty bad</p>



<a name="169500826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500826">(Jul 02 2019 at 17:29)</a>:</h4>
<p>it feels ungreat, yes :)</p>



<a name="169500838"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500838" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500838">(Jul 02 2019 at 17:29)</a>:</h4>
<p>I think the "track lifetimes in lowering" doesn't seem <em>that</em> complicated..?</p>



<a name="169500855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500855">(Jul 02 2019 at 17:29)</a>:</h4>
<p>though yeah it just feels like "egads we are clearly doing something wrong"</p>



<a name="169500862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500862">(Jul 02 2019 at 17:29)</a>:</h4>
<p>Banning <code>Self</code> feels like a fairly syntactic measure that is at least easy to have confidence in</p>



<a name="169500917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500917">(Jul 02 2019 at 17:30)</a>:</h4>
<p>e.g. you can do it in ast_validation</p>



<a name="169500969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500969">(Jul 02 2019 at 17:30)</a>:</h4>
<p>well I gotta run to a meeting but the question is: blocker or not? seems like yes</p>



<a name="169500980"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500980" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500980">(Jul 02 2019 at 17:30)</a>:</h4>
<p>Yes imo</p>



<a name="169500983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169500983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169500983">(Jul 02 2019 at 17:30)</a>:</h4>
<p>for those purposes, banning self is an "ok" fix, I agree</p>



<a name="169501011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169501011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169501011">(Jul 02 2019 at 17:31)</a>:</h4>
<p>I'm also ok with trying to do the "proper" fix</p>



<a name="169501021"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169501021" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169501021">(Jul 02 2019 at 17:31)</a>:</h4>
<p>(And I'm personally fine with a special feature gate... we did similar things with <code>const fn</code>... some folks complained, but most were happy we shipped <code>const fn</code> as a result)</p>



<a name="169501043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169501043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169501043">(Jul 02 2019 at 17:31)</a>:</h4>
<p>For sure, the proper fix is well... more proper :P</p>



<a name="169501055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169501055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169501055">(Jul 02 2019 at 17:31)</a>:</h4>
<p>Yeah I have no opinion on this-- it seems like we want to fix it at some point obv., and I can't think of a non-hacky way to do that</p>



<a name="169501118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169501118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169501118">(Jul 02 2019 at 17:32)</a>:</h4>
<p>right</p>



<a name="169501121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169501121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169501121">(Jul 02 2019 at 17:32)</a>:</h4>
<p>not without a bigger refactoring</p>



<a name="169501126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169501126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169501126">(Jul 02 2019 at 17:32)</a>:</h4>
<p><span class="user-mention" data-user-id="127859">@Taylor Cramer</span>  well banning <code>Self</code> in ast_validation with a visitor seems easy enough?</p>



<a name="169501375"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169501375" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169501375">(Jul 02 2019 at 17:35)</a>:</h4>
<p><span class="user-mention" data-user-id="126931">@centril</span> sure, that's super easy.</p>



<a name="169501402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169501402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169501402">(Jul 02 2019 at 17:35)</a>:</h4>
<p>but obv. it would also be a breaking change if we did it for <code>-&gt; impl Trait</code> as well</p>



<a name="169501412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169501412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169501412">(Jul 02 2019 at 17:35)</a>:</h4>
<p>so that's kind of unfortunate</p>



<a name="169501428"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169501428" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169501428">(Jul 02 2019 at 17:35)</a>:</h4>
<p>Oh; I just mean for <code>async fn</code></p>



<a name="169501461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169501461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169501461">(Jul 02 2019 at 17:36)</a>:</h4>
<p>it's in the AST so lowering to <code>impl Trait</code> hasn't happened yet</p>



<a name="169501556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169501556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169501556">(Jul 02 2019 at 17:37)</a>:</h4>
<p><span class="user-mention" data-user-id="126931">@centril</span> oh sure, I meant if we wanted to try and fix it in <code>impl Trait</code> then we'd be avoiding the backcompat hazard that exists there already</p>



<a name="169501600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169501600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169501600">(Jul 02 2019 at 17:37)</a>:</h4>
<p>sure, my view is basically that the proper fix would be nicest of all but I'll settle for a big hammer just for <code>async fn</code> if need be :P</p>



<a name="169501667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169501667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169501667">(Jul 02 2019 at 17:38)</a>:</h4>
<p>(Or maybe "large fishing net" is the more appropriate analogy :D )</p>



<a name="169501705"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169501705" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169501705">(Jul 02 2019 at 17:39)</a>:</h4>
<p><span class="user-mention" data-user-id="127859">@Taylor Cramer</span>  btw, did you see my note to you on Discord re. <a href="https://github.com/rust-lang/rust/issues/62292" target="_blank" title="https://github.com/rust-lang/rust/issues/62292">#62292</a>? (i.e. feel free to r? that)</p>



<a name="169502339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.07.02/near/169502339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E07.2E02.html#169502339">(Jul 02 2019 at 17:46)</a>:</h4>
<p><span class="user-mention" data-user-id="126931">@centril</span> yeah i did, thanks</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>